1. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
2. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
3. Constructivism in mathematics
پدیدآورنده : / A.S. Troelstra, D. van Dalen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Constructive mathematics.
رده :
QA
,
9
.
56
,.
T74
,
1988
4. Constructivism in mathematics
پدیدآورنده : A.S. Troelstra, D. van Dalen,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Constructive mathematics
رده :
QA
.
T74
9
.
56
1988
5. Constructivism in mathematics :
پدیدآورنده : A.S. Troelstra, D. van Dalen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constructive mathematics
رده :
QA9
.
56
.
T74
1988
6. Logic Colloquium '80
پدیدآورنده : / edited by D. van Dalen, D. Lascar, T.J. Smiley. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical.
رده :
BC
,
135
,.
L57
,
1982
7. Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
پدیدآورنده : edited by D. van Dalen, D. Lascar, T.J. Smiley
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1980
8. Logic and structure
پدیدآورنده : Dalen, D. Van. )Dirk(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D16
1994
9. Logic and structure
پدیدآورنده : Dalen, D. van )Dirk(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D16
1994
10. Mystic, geometer, and intuitionist: the life of L. E. J. Brouwer
پدیدآورنده : Dalen, D. van )Dirk(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Brouwer, L. E. J.)Luitzen Egbertus Jan(, 1881-6691,Biography ، Mathematicians-- Netherlands
رده :
QA
29
.
B697
.
D35
1999
11. Sets and integration, an outline of the development
پدیدآورنده : Van Dalen, D.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Set theory
رده :
QA
248
.
V32
12. Sets : naive, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students
پدیدآورنده : Dalen, D. van )Dirk(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory,، Axiomatic set theory
رده :
QA
248
.
D2341
1978
13. Sets: naive, axiomatic, and applied; abasic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students
پدیدآورنده : Van Dalen, D
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Set theory,، Axiomatic set theory
رده :
QA
248
.
D23413
1978
14. Sets:naive,axiomatic & applied;a basic comendium with exercises
پدیدآورنده : VAN DALEN,D
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SET THEORY , AXIOMATIC SET THEORY
رده :
QA
248
.
D23413
15. The L. E. J. Brouwer Centenary Symposium
پدیدآورنده : / edited by A. S. Troelstra and D. Van Dalen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Topology,Algebraic topology
16. The L.E.J. Brouwer Centenary Symposium : proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981
پدیدآورنده : edited by A.S. Troelstra and D. Van Dalen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
17. The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
پدیدآورنده : edited by A.S. Troelstra and D. van Dalen
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
